#include <stdarg.h>
#include <string.h>
#include <sys/unistd.h>
#include <stdio.h>

int vsprintf(char* buf, const char* fmt, va_list args);

int printf(const char* fmt, ...) {
    va_list args;
    va_start(args, fmt);
    char buf[512];
    int res = vsprintf(buf, fmt, args);
    write(0, buf, res);
    va_end(args);
    return res;
}